Dynamical Metamorphism

Snow metamorphism: A fractal approach.

Snow is a porous disordered medium consisting of air and three water phases: ice, vapor, and liquid. The ice phase consists of an assemblage of grains, ice matrix, initially arranged over a random load bearing skeleton. The quantitative relationship between density and morphological characteristics of different snow microstructures is still an open issue. In this work, a three-dimensional fract...

Modelling Metamorphism by Abstract Interpretation

Metamorphic malware apply semantics-preserving transformations to their own code in order to foil detection systems based on signature matching. In this paper we consider the problem of automatically extract metamorphic signatures from these malware. We introduce a semantics for self-modifying code, later called phase semantics, and prove its correctness by showing that it is an abstract interp...

Metamorphism, Formal Grammars and Undecidable Code Mutation

This paper presents a formalisation of the different existing code mutation techniques (polymorphism and metamorphism) by means of formal grammars. While very few theoretical results are known about the detection complexity of viral mutation techniques, we exhaustively address this critical issue by considering the Chomsky classification of formal grammars. This enables us to determine which fa...

Himalayan Metamorphism and Its Tectonic Implications

The Himalayan range exposes a spectacular assemblage of metamorphic rocks from the midand deep crust that have fostered numerous models of how the crust responds to continental collisions. Recent petrogenetically based petrologic and geochronologic studies elucidate processes with unprecedented resolution and critically test models that range from continuum processes to one-time events. The pro...

Shock Metamorphism in Impact Melt Rocks